Sylvain Hallé: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[IEEE 2019 IEEE 19th International Conference on Software Quality, Reliability and Security Companion (QRS-C) - Sofia, Bulgaria (2019.7.22-2019.7.26)] 2019 IEEE 19th International Conference on Software Quality, Reliability and Security Companion (QRS-C) - 10 Years of IoT Malware: A Feature-Based Taxonomy

Vignau, Benjamin, Khoury, Raphael, Halle, Sylvain

Year:

2019

Language:

english

File:

PDF, 561 KB

english, 2019

2

Why Phonology Is Different

Sylvain Bromberger and Morris Halle

Journal:

Linguistic Inquiry

Year:

1989

Language:

english

File:

PDF, 2.49 MB

english, 1989

3

Improving Hyperconnected Logistics With Blockchains and Smart Contracts

Betti, Quentin, Khoury, Raphael, Halle, Sylvain, Montreuil, Benoit

Journal:

IT Professional

Year:

2019

Language:

english

File:

PDF, 35 KB

english, 2019

4

[IEEE 2006 5th International Conference on Machine Learning and Applications (ICMLA'06) - Orlando, FL, USA (2006.12.14-2006.12.14)] 2006 5th International Conference on Machine Learning and Applications (ICMLA'06) - An Efficient Heuristic for Discovering Multiple Ill-Defined Attributes in Datasets

Year:

2006

Language:

english

File:

PDF, 279 KB

english, 2006

5

Declarative layout constraints for testing web applications

Hallé, Sylvain, Bergeron, Nicolas, Guérin, Francis, Le Breton, Gabriel, Beroual, Oussama

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2016

Language:

english

File:

PDF, 2.77 MB

english, 2016

6

[ACM Press the 2009 ACM symposium - Honolulu, Hawaii (2009.03.08-2008.03.12)] Proceedings of the 2009 ACM symposium on Applied Computing - SAC '09 - Runtime monitoring of web service choreographies using streaming XML

Hallé, Sylvain, Villemaire, Roger

Year:

2009

Language:

english

File:

PDF, 338 KB

english, 2009

7

[IEEE 2019 IEEE 19th International Conference on Software Quality, Reliability and Security (QRS) - Sofia, Bulgaria (2019.7.22-2019.7.26)] 2019 IEEE 19th International Conference on Software Quality, Reliability and Security (QRS) - Efficient Generation of Test Data with Extended Cardinality Constraints

Larouche, Michael, Halle, Sylvain

Year:

2019

Language:

english

File:

PDF, 196 KB

english, 2019

8

Reasoning about visibility

Roger Villemaire, Sylvain Hallé

Journal:

Journal of Applied Logic

Year:

2012

Language:

english

File:

PDF, 280 KB

english, 2012

9

Responses of Intertidal Bacterial Biofilm Communities to Increasing pCO2

Kerfahi, Dorsaf, Harvey, Ben P., Agostini, Sylvain, Kon, Koetsu, Huang, Ruiping, Adams, Jonathan M., Hall-Spencer, Jason M.

Journal:

Marine Biotechnology

Year:

2020

Language:

english

File:

PDF, 1.10 MB

english, 2020

10

Automated Bug Finding in Video Games

Varvaressos, Simon, Lavoie, Kim, Gaboury, Sébastien, Hallé, Sylvain

Journal:

Computers in Entertainment

Year:

2017

Language:

english

File:

PDF, 1.33 MB

english, 2017

11

[IEEE 2006 Fifth Mexican International Conference on Artificial Intelligence - Mexico City, Mexico (2006.11.13-2006.11.13)] 2006 Fifth Mexican International Conference on Artificial Intelligence - Skolem Functions and Herbrand Universes in a Tree Generalization of First Order Logic

Villemaire, Roger, Halle, Sylvain, Deca, Rudy, Cherkaoui, Omar

Year:

2006

Language:

english

File:

PDF, 155 KB

english, 2006

12

[IEEE 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation (ICST) - Cleveland, OH, USA (2014.03.31-2014.04.4)] 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation - Automated Bug Finding in Video Games: A Case Study for Runtime Monitoring

Varvaressos, Simon, Lavoie, Kim, Masse, Alexandre Blondin, Gaboury, Sebastien, Halle, Sylvain

Year:

2014

Language:

english

File:

PDF, 690 KB

english, 2014

13

[IEEE 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - OH, USA (2014.3.31-2014.4.4)] 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation Workshops - Exhaustive Exploration of Ajax Web Applications with Selective Jumping

Halle, Sylvain, Breton, Gabriel Le, Maronnaud, Fabien, Masse, Alexandre Blondin, Gaboury, Sebastien

Year:

2014

Language:

english

File:

PDF, 327 KB

english, 2014

14

15th International Symposium on Temporal Representation and Reasoning (Time 2008)

Sylvain Hallé and Roger Villemaire

Journal:

Bulletin of Symbolic Logic

Year:

2009

Language:

english

File:

PDF, 253 KB

english, 2009

15

Decentralized enforcement of document lifecycle constraints

Hallé, Sylvain, Khoury, Raphaël, Betti, Quentin, El-Hokayem, Antoine, Falcone, Yliès

Journal:

Information Systems

Year:

2017

Language:

english

File:

PDF, 2.48 MB

english, 2017

16

[ACM Press the 26th ACM SIGSOFT International Symposium - Santa Barbara, CA, USA (2017.07.10-2017.07.14)] Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis - ISSTA 2017 - SealTest: a simple library for test sequence generation

Hallé, Sylvain, Khoury, Raphaël

Year:

2017

Language:

english

File:

PDF, 570 KB

english, 2017

17

[IEEE 2020 46th Euromicro Conference on Software Engineering and Advanced Applications (SEAA) - Portoroz, Slovenia (2020.8.26-2020.8.28)] 2020 46th Euromicro Conference on Software Engineering and Advanced Applications (SEAA) - Knowledge Management for Promoting Update of Systematic Literature Reviews: An Experience Report

Felizardo, Katia R., de Souza, Erica F., Malacrida, Tamiris, Napoleao, Bianca M., Petrillo, Fabio, Halle, Sylvain, Vijaykumar, Nandamudi L., Nakagawa, Elisa Y.

Year:

2020

File:

PDF, 594 KB

2020

18

Synthesis and evaluation of fluorogenic 2-amino-1,8-naphthyridine derivatives for the detection of bacteria

Váradi, Linda, Gray, Mark, Groundwater, Paul W., Hall, Andrew J., James, Arthur L., Orenga, Sylvain, Perry, John D., Anderson, Rosaleen J.

Journal:

Organic & Biomolecular Chemistry

Year:

2012

Language:

english

File:

PDF, 985 KB

english, 2012

19

Physically based inversion modeling for unsupervised cluster labeling, independent forest classification, and LAI estimation using MFM-5-Scale

Peddle, Derek R, Johnson, Ryan L, Cihlar, Josef, Leblanc, Sylvain G, Chen, Jing M, Hall, Forrest G

Journal:

Canadian Journal of Remote Sensing

Year:

2007

File:

PDF, 179 KB

2007

20

Diatoms Dominate and Alter Marine Food-Webs When CO2 Rises

Harvey, Ben P., Agostini, Sylvain, Kon, Koetsu, Wada, Shigeki, Hall-Spencer, Jason M.

Journal:

Year:

2019

Language:

english

File:

PDF, 1.72 MB

english, 2019

21

Predicting global killer whale population collapse from PCB pollution

Desforges, Jean-Pierre, Hall, Ailsa, McConnell, Bernie, Rosing-Asvid, Aqqalu, Barber, Jonathan L., Brownlow, Andrew, De Guise, Sylvain, Eulaers, Igor, Jepson, Paul D., Letcher, Robert J., Levin, Milto

Journal:

Year:

2018

Language:

english

File:

PDF, 16.40 MB

english, 2018

22

Affinities of Sponges (Porifera) of the Marquesas and Society Islands, French Polynesia

Hall, Kathryn A., Sutcliffe, Patricia R., Hooper, John N. A., Alencar, Aline, Vacelet, Jean, Pisera, Andrzej, Petek, Sylvain, Folcher, Eric, Butscher, John, Orempuller, Joel, Maihota, Nicolas, Debitus

Journal:

Pacific Science

Year:

2013

Language:

english

File:

PDF, 430 KB

english, 2013

23

[IEEE 2012 4th International Workshop on Principles of Engineering Service-Oriented Systems (PESOS) - Zurich, Switzerland (2012.06.4-2012.06.4)] 2012 4th International Workshop on Principles of Engineering Service-Oriented Systems (PESOS) - Constraint-based invocation of stateful web services: The beep store (case study)

Halle, Sylvain, Villemaire, Roger

Year:

2012

Language:

english

File:

PDF, 188 KB

english, 2012

24

[IEEE 2011 15th IEEE International Enterprise Distributed Object Computing Conference Workshops (EDOCW) - Helsinki, Finland (2011.08.29-2011.09.2)] 2011 IEEE 15th International Enterprise Distributed Object Computing Conference Workshops - Message from the EVL-BP 2011 Workshop Chairs

Gaevic, Dragan, Grossmann, Georg, Hallé, Sylvain, Rosenberg, Florian

Year:

2011

Language:

english

File:

PDF, 175 KB

english, 2011

25

Dissolution: The Achilles’ Heel of the Triton Shell in an Acidifying Ocean

Harvey, Ben P., Agostini, Sylvain, Wada, Shigeki, Inaba, Kazuo, Hall-Spencer, Jason M.

Journal:

Frontiers in Marine Science

Year:

2018

Language:

english

File:

PDF, 1.55 MB

english, 2018

26

Cooperative runtime monitoring

Hallé, Sylvain

Journal:

Enterprise Information Systems

Year:

2013

Language:

english

File:

PDF, 845 KB

english, 2013

27

[IEEE 2014 IEEE 18th International Enterprise Distributed Object Computing Conference (EDOC 2014) - Ulm, Germany (2014.9.1-2014.9.5)] 2014 IEEE 18th International Enterprise Distributed Object Computing Conference - A Formalization of Complex Event Stream Processing

Halle, Sylvain, Varvaressos, Simon

Year:

2014

Language:

english

File:

PDF, 248 KB

english, 2014

28

[ACM Press the 22nd International Conference - Rio de Janeiro, Brazil (2013.05.13-2013.05.17)] Proceedings of the 22nd International Conference on World Wide Web - WWW '13 Companion - Automated exploration and analysis of ajax web applications with WebMole

Le Breton, Gabriel, Maronnaud, Fabien, Hallé, Sylvain

Year:

2013

Language:

english

File:

PDF, 508 KB

english, 2013

29

[IEEE 2018 IEEE 22nd International Enterprise Distributed Object Computing Conference (EDOC) - Stockholm (2018.10.16-2018.10.19)] 2018 IEEE 22nd International Enterprise Distributed Object Computing Conference (EDOC) - Real-Time Data Mining for Event Streams

Roudjane, Massiva, Rebaine, Djamal, Khoury, Raphael, Halle, Sylvain

Year:

2018

Language:

english

File:

PDF, 314 KB

english, 2018

30

[ACM Press the 28th Annual ACM Symposium - Coimbra, Portugal (2013.03.18-2013.03.22)] Proceedings of the 28th Annual ACM Symposium on Applied Computing - SAC '13 - Solving equations on words through boolean satisfiability

Larouche, Michaël, Massé, Alexandre Blondin, Gaboury, Sébastien, Hallé, Sylvain

Year:

2013

Language:

english

File:

PDF, 528 KB

english, 2013

31

Ocean acidification drives community shifts towards simplified non-calcified habitats in a subtropical−temperate transition zone

Agostini, Sylvain, Harvey, Ben P., Wada, Shigeki, Kon, Koetsu, Milazzo, Marco, Inaba, Kazuo, Hall-Spencer, Jason M.

Journal:

Scientific Reports

Year:

2018

Language:

english

File:

PDF, 3.53 MB

english, 2018

32

[IEEE 2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST) - Graz, Austria (2015.4.13-2015.4.17)] 2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST) - Testing Web Applications Through Layout Constraints

Halle, Sylvain, Bergeron, Nicolas, Guerin, Francis, Le Breton, Gabriel

Year:

2015

Language:

english

File:

PDF, 545 KB

english, 2015

33

[ACM Press the eighteenth ACM SIGSOFT international symposium - Santa Fe, New Mexico, USA (2010.11.07-2010.11.11)] Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering - FSE '10 - Realizability analysis for message-based interactions using shared-state projections

Hallé, Sylvain, Bultan, Tevfik

Year:

2010

Language:

english

File:

PDF, 472 KB

english, 2010

34

[IEEE 2015 IEEE 6th International Workshop on Program Comprehension through Dynamic Analysis (PCODA) - Montreal, QC, Canada (2015.3.2-2015.3.2)] 2015 IEEE 6th International Workshop on Program Comprehension through Dynamic Analysis (PCODA) - A generalized monitor verdict for log trace triaging

Varvaressos, Simon, Lavoie, Kim, Gaboury, Sebastien, Halle, Sylvain

Year:

2015

Language:

english

File:

PDF, 265 KB

english, 2015

35

[IEEE 2014 19th International Conference on Engineering of Complex Computer Systems (ICECCS) - Tianjin, China (2014.8.4-2014.8.7)] 2014 19th International Conference on Engineering of Complex Computer Systems - A Lazy Evaluation Strategy for Assessing Network Device Configuration Correctness

Ngoupe, Eric Lunaud, Stoesel, Sylvain, Parisot, Clement, Halle, Sylvain, Valtchev, Petko, Cherkaoui, Omar, Boucher, Pierre

Year:

2014

Language:

english

File:

PDF, 125 KB

english, 2014

36

[IEEE 2013 17th IEEE International Enterprise Distributed Object Computing Conference Workshops (EDOCW) - Vancouver, BC, Canada (2013.09.9-2013.09.13)] 2013 17th IEEE International Enterprise Distributed Object Computing Conference Workshops - The Relational Database Engine: An Efficient Validator of Temporal Properties on Event Traces

Vallet, Jason, Mrad, Aouatef, Halle, Sylvain, Beaudet, Eric

Year:

2013

Language:

english

File:

PDF, 810 KB

english, 2013

37

[IEEE 2011 16th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS) - Las Vegas, NV, USA (2011.04.27-2011.04.29)] 2011 16th IEEE International Conference on Engineering of Complex Computer Systems - Model-Based Simulation of SOAP Web Services from Temporal Logic Specifications

Hallé, Sylvain

Year:

2011

Language:

english

File:

PDF, 420 KB

english, 2011

38

[ACM Press the 9th ACM International Conference - Corfu, Island, Greece (2016.06.29-2016.07.01)] Proceedings of the 9th ACM International Conference on PErvasive Technologies Related to Assistive Environments - PETRA '16 - Towards User Activity Recognition Through Energy Usage Analysis And Complex Event Processing

Hallé, Sylvain, Gaboury, Sébastien, Bouchard, Bruno

Year:

2016

Language:

english

File:

PDF, 392 KB

english, 2016

39

Paralytic shellfish poisonings resulting from an algal bloom in Nicaragua

Callejas, Luis, Darce, Ana, Amador, Juan, Conklin, Laura, Gaffga, Nicholas, Schurz Rogers, Helen, DeGrasse, Stacey, Hall, Sherwood, Earley, Marie, Mei, Joanne, Rubin, Carol, Aldighieri, Sylvain, Backe

Journal:

BMC Research Notes

Year:

2015

Language:

english

File:

PDF, 768 KB

english, 2015

40

[IEEE 2009 13th Enterprise Distributed Object Computing Conference Workshops, EDOCW - Auckland, New Zealand (2009.09.1-2009.09.4)] 2009 13th Enterprise Distributed Object Computing Conference Workshops - Dynamic and declarative business processes

Gasevic, Dragan, Grossmann, Georg, Halle, Sylvain

Year:

2009

File:

PDF, 83 KB

2009

41

[IEEE 2015 IEEE 19th International Enterprise Distributed Object Computing Workshop (EDOCW) - Adelaide, Australia (2015.9.21-2015.9.25)] 2015 IEEE 19th International Enterprise Distributed Object Computing Workshop - A Declarative Language Interpreter for CEP

Year:

2015

Language:

english

File:

PDF, 140 KB

english, 2015

42

PROTECTION OF ISLETS OF LANGERHANS FROM ANTIBODIES BY MICROENCAPSULATION WITH ALGINATE-POLY-L-LYSINE MEMBRANES1

HALLÉ, JEAN-PIERRE, BOURASSA, SUZANNE, LEBLOND, FRANÇOIS A., CHEVALIER, SIMONE, BEAUDRY, MICHÈLE, CHAPDELAINE, ALCIDE, COUSINEAU, SYLVAIN, SAINTONGE, JACQUES, YALE, JEAN-FRANCOIS

Journal:

Transplantation Journal

Year:

1993

File:

PDF, 726 KB

1993

43

[IEEE 2019 IEEE 23rd International Enterprise Distributed Object Computing Conference (EDOC) - Paris, France (2019.10.28-2019.10.31)] 2019 IEEE 23rd International Enterprise Distributed Object Computing Conference (EDOC) - Predictive Analytics for Event Stream Processing

Roudjane, Massiva, Rebaine, Djamal, Khoury, Raphael, Halle, Sylvain

Year:

2019

File:

PDF, 378 KB

2019

44

[IEEE 2016 IEEE International Conference on Big Data (Big Data) - Washington DC,USA (2016.12.5-2016.12.8)] 2016 IEEE International Conference on Big Data (Big Data) - A glue language for event stream processing

Halle, Sylvain, Gaboury, Sebastien, Khoury, Raphael

Year:

2016

Language:

english

File:

PDF, 136 KB

english, 2016

45

[ACM Press the IEEE/ACM international conference - Antwerp, Belgium (2010.09.20-2010.09.24)] Proceedings of the IEEE/ACM international conference on Automated software engineering - ASE '10 - Eliminating navigation errors in web applications via model checking and runtime enforcement of navigation state machines

Hallé, Sylvain, Ettema, Taylor, Bunch, Chris, Bultan, Tevfik

Year:

2010

Language:

english

File:

PDF, 684 KB

english, 2010

46

Cytotoxic Guanidine Alkaloids from a French Polynesian Monanchora n. sp. Sponge

El-Demerdash, Amr, Moriou, Céline, Martin, Marie-Thérèse, Rodrigues-Stien, Alice de Souza, Petek, Sylvain, Demoy-Schneider, Marina, Hall, Kathryn, Hooper, John N. A., Debitus, Cécile, Al-Mourabit, Ali

Journal:

Journal of Natural Products

Year:

2016

Language:

english

File:

PDF, 1.67 MB

english, 2016

47

Fishery reforms for the management of non-indigenous species

Kleitou, Periklis, Crocetta, Fabio, Giakoumi, Sylvaine, Giovos, Ioannis, Hall-Spencer, Jason M., Kalogirou, Stefanos, Kletou, Demetris, Moutopoulos, Dimitrios K., Rees, SiÃ¢n

Journal:

Journal of Environmental Management

Year:

2020

File:

PDF, 332 KB

2020

48

[IEEE 2010 14th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2010) - Vitoria, ES, Brazil (2010.10.25-2010.10.29)] 2010 14th IEEE International Enterprise Distributed Object Computing Conference - Cooperative Runtime Monitoring of LTL Interface Contracts

Year:

2010

Language:

english

File:

PDF, 419 KB

english, 2010

49

MULTIPSEUDOPERIODIC WORDS

MASSÉ, ALEXANDRE BLONDIN, DESMEULES, SARAH, GABOURY, SÉBASTIEN, HALLÉ, SYLVAIN

Journal:

International Journal of Foundations of Computer Science

Year:

2013

Language:

english

File:

PDF, 226 KB

english, 2013

50

[IEEE 2009 16th International Symposium on Temporal Representation and Reasoning (TIME) - Bressanone-Brixen, Italy (2009.07.23-2009.07.25)] 2009 16th International Symposium on Temporal Representation and Reasoning - Strong Temporal, Weak Spatial Logic for Rule Based Filters

Villemaire, Roger, Halle, Sylvain

Year:

2009

Language:

english

File:

PDF, 179 KB

english, 2009

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски